prune out unnecessary details

Translations
éliminer les détails inutiles